package gpl.original;

// of FinishTimeWorkSpace

// DFS Transpose traversal
// *************************************************************************

public class WorkSpaceTranspose extends WorkSpace {
	// Strongly Connected Component Counter
	int SCCCounter;

	public WorkSpaceTranspose() {
		SCCCounter = 0;
	}

	public void preVisitAction(Vertex v) {
		if (v.visited != true) {
			v.strongComponentNumber = SCCCounter;
		}
	}

	public void nextRegionAction(Vertex v) {
		SCCCounter++;
	}

}
